Faculty of Mathematics

Results: 1054



#Item
281

UNIVERSITY OF TARTU Faculty of Mathematics and Computer Science Institute of Computer Science Oskar Gross Finding Non-Trivially Similar Documents from a Large

Add to Reading List

Source URL: lepo.it.da.ut.ee

Language: English - Date: 2011-09-18 13:04:18
    282

    Automorphisms of the truth-table degrees are fixed on a cone Bernard A. Anderson ∗ Department of Theoretical Computer Science and Mathematical Logic Faculty of Mathematics and Physics

    Add to Reading List

    Source URL: iti.mff.cuni.cz

    Language: English - Date: 2016-02-04 05:53:37
      283

      Comparing universal covers in polynomial time Jiˇr´ı Fiala1 and Dani¨el Paulusma2 1 Charles University, Faculty of Mathematics and Physics, DIMATIA and Institute for Theoretical Computer Science (ITI)

      Add to Reading List

      Source URL: iti.mff.cuni.cz

      Language: English - Date: 2016-02-04 05:53:37
        284

        Query-context Search Result Clustering basing on Graphs? Michal Meina Faculty of Mathematics and Computer Science Nicolaus Copernicus University Chopina 12/18, Toru´ n

        Add to Reading List

        Source URL: csp2011.mimuw.edu.pl

        Language: English - Date: 2012-02-06 04:18:26
          285

          Technische Universit¨at M¨unchen Faculty of Mathematics Chair for Applied Numerical Analysis Quasilinear Compressed Sensing Master’s Thesis

          Add to Reading List

          Source URL: www-m15.ma.tum.de

          Language: German - Date: 2013-04-04 03:43:39
            286

            Charles University in Prague Faculty of Mathematics and Physics Master Thesis Pavel Klav´ık

            Add to Reading List

            Source URL: iti.mff.cuni.cz

            Language: English - Date: 2016-02-04 05:53:38
              287

              Faculty of Exact Sciences School of Mathematical Sciences Department of Pure Mathematics Professor Vitali MILMAN CURRICULUM VITAE

              Add to Reading List

              Source URL: www.math.tau.ac.il

              Language: English - Date: 2014-11-18 03:39:11
                288

                Preface This report is designed to be a resource for mathematics faculty and other parties involved in the education of mathematics teachers. It is a distillation of current thinking on curriculum and policy issues affe

                Add to Reading List

                Source URL: cbmsweb.org

                Language: English - Date: 2002-03-18 20:23:49
                  289

                  DevOps: Concerning Developers ... Petr Tůma FACULTY OF MATHEMATICS AND PHYSICS

                  Add to Reading List

                  Source URL: download.fortiss.org

                  Language: English - Date: 2015-09-03 08:19:43
                    290

                    Reconstruction of the Mizar Type System in the HOL Light System O. Kunˇcar Charles University, Faculty of Mathematics and Physics, Prague, Czech Republic. Abstract. The Mizar system is a system for formalization of mat

                    Add to Reading List

                    Source URL: ktiml.mff.cuni.cz

                    Language: English - Date: 2010-09-13 16:47:57
                      UPDATE